Abstract type

Results: 1261



#Item
21Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2005-10-01 03:14:52
    22Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

    Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo

    Add to Reading List

    Source URL: iswc2011.semanticweb.org

    Language: English - Date: 2011-09-21 14:16:02
      23EXTREMAL FUNCTIONS FOR MOSER-TRUDINGER TYPE INEQUALITY ON COMPACT CLOSED 4-MANIFOLDS YUXIANG LI, CHEIKH BIRAHIM NDIAYE Abstract. Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of e

      EXTREMAL FUNCTIONS FOR MOSER-TRUDINGER TYPE INEQUALITY ON COMPACT CLOSED 4-MANIFOLDS YUXIANG LI, CHEIKH BIRAHIM NDIAYE Abstract. Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of e

      Add to Reading List

      Source URL: faculty.math.tsinghua.edu.cn

      Language: English - Date: 2006-09-11 12:00:00
        24Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract

        Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract

        Add to Reading List

        Source URL: maxsnew.github.io

        - Date: 2018-03-23 16:34:38
          25The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract

          The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract

          Add to Reading List

          Source URL: jonathan.protzenko.fr

          - Date: 2015-01-02 09:04:04
            26Extended abstract: Type oriented programming for task based parallelism 1 Nick Brown

            Extended abstract: Type oriented programming for task based parallelism 1 Nick Brown

            Add to Reading List

            Source URL: tydeworkshop.org

            - Date: 2017-11-13 07:34:26
              27Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

              Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                28Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

                Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

                Add to Reading List

                Source URL: scheme2016.snow-fort.org

                - Date: 2016-09-23 10:04:45
                  29Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

                  Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14
                    30Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

                    Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

                    Add to Reading List

                    Source URL: www.anupamdas.com

                    - Date: 2017-08-07 04:57:01